Tarmo Uustalu
Postal address: Email:
Dept. of Computer Science firstname at cs dot ioc dot ee
Reykjavik University
Skype:
Menntavegi 1 firstname dot surname
102 REYKJAVÍK Phone:
ICELAND +354 599 6495
NOTE: To reach me by email, please use the address above. If you write to my ru dot is or taltech dot ee addresses, I may see your message only days later or overlook it altogether.
I am a full professor at the Dept. of Computer Science of Reykjavik University (RU). I also have a part-time duty at the Dept. of Software Science of the Tallinn University of Technology (TUT) as a lead research scientist, taking care of the Lab for High-Assurance Software, in particular the Logic and Semantics Group.
For 15 years, I worked at the Institute of Cybernetics, a research institution of TUT, first as a senior researcher, then as a lead research scientist. I also taught at TUT's Dept. of Computer Science. In connection to the major reforms at TUT, these structures were closed in Dec. 2016.
Prior to that, I was a postdoc at the Dept. of Informatics, University of Minho in Braga.
For my PhD, I studied at KTH Royal Institute of Technology in Stockholm. My MSc is from TUT, but I wrote the thesis at the Norwegian University of Science and Technology (NTNU) in Trondheim.
My research interests include structural proof theory and type theory, algebraic and categorical logic, semantics of programming languages, type systems and program logics, functional programming, constructive mathematics.